This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suiteThis book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
Lire la suite